Scientific Computation in FORTH

Scientific Vision: Setting Forth a Strategy

MAP kinase phosphatase-1 (MKP-1) controls nuclear MAP kinase activity with important consequences on cell growth or apoptosis. MKP-1 transcription is initiated constitutively but elongation is blocked within exon 1. It is unclear how induction of MKP-1 is controlled. Here, we report that the transcriptional elongation factors P-TEFb, DSIF and NELF regulate MKP-1 transcription in the pituitary G...

Topics in advanced scientific computation

Defects, Scientific Computation and the Scientific Method

Computation has rapidly grown in the last 50 years so that in many scientific areas it is the dominant partner in the practice of science. Unfortunately, unlike the experimental sciences, it does not adhere well to the principles of the scientific method as espoused by for example, the philosopher Karl Popper. Such principles are built around the notions of deniability and reproducibility. Alth...

Scientific computation and functional programming

We advocate the usage of modern functional programming languages, and lazy functional techniques for the description and implementation of abstract mathematical objects in Quantum Mechanics, needed both for pedagogical purposes, and for some real, not too computationally intensive, but conceptually and algorithmically difficult applications. We show how to perform simple abstract computations o...

Resolving Numerical Anomalies in Scientific Computation

The increasing numbers of large scientific computer systems in use, together with the rapidly increasing scale of computations being attempted on such systems, means that numerical anomalies pose a growing threat to the soundness of these computations. This note presents a number of examples of common numerical anomalies that can arise, illustrated by some actual computer programs available on ...